分析了Visual Prolog论域与C数据结构的对应关系以及函数、谓词的调用约定，讨论了Visual Prolog与Visual C＋＋进行混合编程的实现方法，......

对具有强迫事件的ＶＤＥＳ的状态反馈控制理论进行了探讨，在给定闭环系统行为规范的条件下，得到并证明了控制器存在的充分必要条件。......

　　美国著名语言哲学家伯奇提出并论证了“专名是一种特殊的谓词”的观点，以此来批评关于专名在形式语义学中的两种经典观点。本文......

杰里.福德关于先天思维语言的观点在语言哲学及心理语言学等相关领域引发了激烈争论。克里斯蒂夫.维格认为,自然语言能够比先天认......

谓词对从句补语有语义上的要求.本文讨论了非疑问谓词(如admit等)后接if-问句作补语的语境及其句法结构,论证了这样的非选择性问句......